computational theorems - Allemand Anglais Dictionnaire